×

找到116个文档（结果1-100）

最新的 引文 关联
张，廖;拉斯·布劳布罗克;塞萨里·卡利西克;约瑟夫·乌尔班

学习证明变换及其在交互式定理证明中的应用。 （英语） Zbl 07842302号

Sattler，Uli（编辑）等人，《组合系统的前沿》。第十四届国际研讨会，2023年9月20日至22日，捷克共和国布拉格，Frocos 2023。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。14279, 236-254 (2023).
MSC公司：68泰克
PDF格式BibTeX公司 XML格式引用
\textit{L.Zhang}等人，Lect。注释计算。科学。14279，236--254（2023；Zbl 07842302）
全文： 内政部
OA许可证
亚当·纳莫维奇

在Mizar中为数论形式化扩展数字自动化。 （英语） Zbl 07810742号

Dubois，Catherine（编辑）等人，《智能计算机数学》。第16届国际会议，CICM 2023，英国剑桥，2023年9月5-8日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。14101, 309-314 (2023).
MSC公司：68伏xx
PDF格式BibTeX公司 XML格式引用
\textit｛A.Naumowicz｝，勒克特。注释计算。科学。14101、309--314（2023；Zbl 07810742）
全文： 内政部
芙蓉岛、秀君;大池山口;Shigenaka、Seigo;中关村，Kazuhisa;Katsumi Wasaki

Mizar数学图书馆的集成web平台。 （英语） Zbl 07691295号

Buzzard，Kevin（编辑）等人，《智能计算机数学》。2022年9月19日至23日，第15届国际会议，CICM 2022，格鲁吉亚第比利斯。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13467, 141-146 (2022).
MSC公司：68伏xx
PDF格式BibTeX公司 XML格式引用
\textit{H.Furushima}等人，Lect。注释计算。科学。13467，141--146（2022；Zbl 07691295）
全文： 内政部 arXiv公司
科林·罗斯冈;阿图尔·科尔尼·奥维茨;弗洛里安·拉贝

Mizar数学库的新导出。 （英语） Zbl 1485.68294号

Kamaredine，Fairouz（编辑）等人，《智能计算机数学》。2021年7月26日至31日，罗马尼亚蒂米苏拉第十四届国际会议，CICM 2021。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12833, 205-210 (2021).
MSC公司：68V20型 68伏30 68伏35
PDF格式BibTeX公司 XML格式引用
\textit{C.Rothgang}等人，Lect。注释计算。科学。12833、205-210（2021；Zbl 1485.68294）
全文： 内政部
塞萨里·卡利西克;Pak，卡罗尔

声明性证明翻译（短文）。 （英语） Zbl 07649984号

Harrison，John（ed.）等人，第十届交互式定理证明国际会议，2019年9月9日至12日，美国俄勒冈州波特兰。会议记录。Wadern:Schloss Dagstuhl–Leibniz Zentrum für Informatik出版社。LIPIcs–莱布尼茨国际程序。通知。141，第35条，第7页（2019年）。
MSC公司：68伏15
PDF格式BibTeX公司 XML格式引用
\textit{C.Kaliszyk}和\textit{K.Pak}，LIPIcs——莱布尼茨国际程序。通知。141，第35条，第7页（2019年；Zbl 07649984）
全文： 内政部
乍得·E·布朗。;塞萨里·卡利西克;Pak，卡罗尔

高阶Tarski Grothendieck作为形式证明的基础。 （英语） Zbl 07649958号

Harrison，John（ed.）等人，第十届交互式定理证明国际会议，2019年9月9日至12日，美国俄勒冈州波特兰。会议记录。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼兹·泽特鲁姆（Leibniz-Zentrum für Informatik）。LIPIcs–莱布尼茨国际程序。通知。141，第9条，第16页（2019年）。
MSC公司：68V20型
PDF格式BibTeX公司 XML格式引用
\textit｛C.E.Brown｝等人，LIPIcs——莱布尼茨国际期刊。通知。141，第9条，第16页（2019年；Zbl 07649958）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件